Non-Interactive Zero-Knowledge Proofs With Fine-Grained Security